// Copyright (C) 2020 Toitware ApS.
// Use of this source code is governed by a Zero-Clause BSD license that can
// be found in the tests/LICENSE file.

import expect show *

run [block]: block.call

foo:
  x000 := 0
  x001 := 0
  x002 := 0
  x003 := 0
  x004 := 0
  x005 := 0
  x006 := 0
  x007 := 0
  x008 := 0
  x009 := 0
  x010 := 0
  x011 := 0
  x012 := 0
  x013 := 0
  x014 := 0
  x015 := 0
  x016 := 0
  x017 := 0
  x018 := 0
  x019 := 0
  x020 := 0
  x021 := 0
  x022 := 0
  x023 := 0
  x024 := 0
  x025 := 0
  x026 := 0
  x027 := 0
  x028 := 0
  x029 := 0
  x030 := 0
  x031 := 0
  x032 := 0
  x033 := 0
  x034 := 0
  x035 := 0
  x036 := 0
  x037 := 0
  x038 := 0
  x039 := 0
  x040 := 0
  x041 := 0
  x042 := 0
  x043 := 0
  x044 := 0
  x045 := 0
  x046 := 0
  x047 := 0
  x048 := 0
  x049 := 0
  x050 := 0
  x051 := 0
  x052 := 0
  x053 := 0
  x054 := 0
  x055 := 0
  x056 := 0
  x057 := 0
  x058 := 0
  x059 := 0
  x060 := 0
  x061 := 0
  x062 := 0
  x063 := 0
  x064 := 0
  x065 := 0
  x066 := 0
  x067 := 0
  x068 := 0
  x069 := 0
  x070 := 0
  x071 := 0
  x072 := 0
  x073 := 0
  x074 := 0
  x075 := 0
  x076 := 0
  x077 := 0
  x078 := 0
  x079 := 0
  x080 := 0
  x081 := 0
  x082 := 0
  x083 := 0
  x084 := 0
  x085 := 0
  x086 := 0
  x087 := 0
  x088 := 0
  x089 := 0
  x090 := 0
  x091 := 0
  x092 := 0
  x093 := 0
  x094 := 0
  x095 := 0
  x096 := 0
  x097 := 0
  x098 := 0
  x099 := 0
  run: return 42
  unreachable

foo2
    x000 = 0
    x001 = 0
    x002 = 0
    x003 = 0
    x004 = 0
    x005 = 0
    x006 = 0
    x007 = 0
    x008 = 0
    x009 = 0
    x010 = 0
    x011 = 0
    x012 = 0
    x013 = 0
    x014 = 0
    x015 = 0
    x016 = 0
    x017 = 0
    x018 = 0
    x019 = 0
    x020 = 0
    x021 = 0
    x022 = 0
    x023 = 0
    x024 = 0
    x025 = 0
    x026 = 0
    x027 = 0
    x028 = 0
    x029 = 0
    x030 = 0
    x031 = 0
    x032 = 0
    x033 = 0
    x034 = 0
    x035 = 0
    x036 = 0
    x037 = 0
    x038 = 0
    x039 = 0
    x040 = 0
    x041 = 0
    x042 = 0
    x043 = 0
    x044 = 0
    x045 = 0
    x046 = 0
    x047 = 0
    x048 = 0
    x049 = 0
    x050 = 0
    x051 = 0
    x052 = 0
    x053 = 0
    x054 = 0
    x055 = 0
    x056 = 0
    x057 = 0
    x058 = 0
    x059 = 0
    x060 = 0
    x061 = 0
    x062 = 0
    x063 = 0
    x064 = 0
    x065 = 0
    x066 = 0
    x067 = 0
    x068 = 0
    x069 = 0
    x070 = 0
    x071 = 0
    x072 = 0
    x073 = 0
    x074 = 0
    x075 = 0
    x076 = 0
    x077 = 0
    x078 = 0
    x079 = 0
    x080 = 0
    x081 = 0
    x082 = 0
    x083 = 0
    x084 = 0
    x085 = 0
    x086 = 0
    x087 = 0
    x088 = 0
    x089 = 0
    x090 = 0
    x091 = 0
    x092 = 0
    x093 = 0
    x094 = 0
    x095 = 0
    x096 = 0
    x097 = 0
    x098 = 0
    x099 = 0:
  run: return 499
  unreachable

main:
  expect-equals 42 foo
  expect-equals 499 foo2
